UselessOverlap.agda:6,5-5
UselessOverlap.agda:6,5: The 'overlap' keyword only applies to instance fields (fields marked with {{ }})
<EOF><ERROR>
...
